# filename: example9_1.py

